/*
 * Cerca un bottone con id "form-button", gli cambia id in modo da funzionare
 * una volta sola e gli aggiunge una giffina pirulina.
 */
function disableAndPutPirulinoOnSubmitButton (req) {
	var button = document.getElementById ("form-button");

	if (button) {
		var image;
		button.setAttribute ("disabled", "disabled");
		button.setAttribute ("id", "form-button-disabled");
		image = document.createElement ("img");
		image.setAttribute ("src", smallWaitGif);
		button.appendChild (image);
	}
}


/*
 * Svuota il body della pagina e ci piazza un pirulone tanto cosi'.
 */
function emptyCorniceAndPutScapoccioneInDaFace (req) {
	var pirulone = document.getElementById ("pirulone");
	var cornice = document.getElementById ("cornice");

	if (cornice && !pirulone) {
		var image;
		while (cornice.firstChild)
			cornice.removeChild (cornice.firstChild);
		image = document.createElement ("img");
		image.setAttribute ("src", waitingPirulGif);
		image.setAttribute ("id", "pirulone");
		image.setAttribute ("vspace","50");
		cornice.appendChild (image);
	}
}
